type T()    as this{caret}    =
    class
    end
